type A = (B) => (C)
